Merge pull request #1461 from antonio-nino-diaz-arm/an/xlat-docs
authorDimitris Papastamos <[email protected]>
Wed, 4 Jul 2018 14:09:49 +0000 (15:09 +0100)
committerGitHub <[email protected]>
Wed, 4 Jul 2018 14:09:49 +0000 (15:09 +0100)
xlat v2: Update documentation


Trivial merge